version=1.5.3
source=(\
http://ftp.gnu.org/gnu/dejagnu/dejagnu-$version.tar.gz )
derle()
{
cd dejagnu-$version

./configure --prefix=/tools

make install

make check
}
